Probabilistic embedding into trees: definitions

نویسندگان

  • Mohammad T. Hajiaghayi
  • Anshul Sawant
چکیده

A metric space is often represented as the pair (X,d). An example of metric spaces is (R, Lk), where Lk is the k-norm over R for given n, k ∈ Z≥1. We can represent a finite metric space (X, d) by a symmetric matrix S, of size nxn, where Si,j = d(i, j) and |X| = n. Metric spaces can be visualized using undirected graph G, where S is distance matrix for G. Conversely, given a graph G(V, E), we can represent it as a metric space (V, d), where d(i, j) is length of the shortest path between i, j ∈ V.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Network Design and Game Theory Spring 2008 Lecture 4 Instructor : Mohammad

In this lecture we introduce the technique of probabilistic embedding of arbitrary graphs into trees and describe some of its applications. We give various definitions, theorems and present approximation algorithms making use of probabilistic embedding. The main benefit that we get out of embedding graphs into trees is that we can then solve the given graph problem on the corresponding tree, wh...

متن کامل

Probabilistic analysis of the asymmetric digital search trees

In this paper, by applying three functional operators the previous results on the (Poisson) variance of the external profile in digital search trees will be improved. We study the profile built over $n$ binary strings generated by a memoryless source with unequal probabilities of symbols and use a combinatorial approach for studying the Poissonized variance, since the probability distribution o...

متن کامل

Uncertainty and Incompleteness

Query evaluation in monadic second-order logic is known to be tractable on trees and treelike instances, even though it is hard for arbitrary instances. This tractability result has been extended to several tasks related to query evaluation, such as counting query results [2] or performing query evaluation on probabilistic trees [8]. We see counting and probability evaluation as two examples of...

متن کامل

Provenance Circuits for Trees and Treelike Instances

Query evaluation in monadic second-order logic (MSO) is tractable on trees and treelike instances, even though it is hard for arbitrary instances. This tractability result has been extended to several tasks related to query evaluation, such as counting query results [3] or performing query evaluation on probabilistic trees [10]. These are two examples of the more general problem of computing au...

متن کامل

Undecidable Problems for Probabilistic Network Programming

The software-defined networking language NetKAT is able to verify many useful properties of networks automatically via a PSPACE decision procedure for program equality. However, for its probabilistic extension ProbNetKAT, no such decision procedure is known. We show that several potentially useful properties of ProbNetKAT are in fact undecidable, including emptiness of support intersection and ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011